Model checking - PDFSEARCH.IO - Document Search Engine

Model checking
Results: 996

#	Item
451	The 17th International Conference on Formal Engineering Methods CNAM Paris, 3 – 6 Nov. ICFEM 2015 Add to Reading List Source URL: icfem2015.lri.fr Language: English - Date: 2015-02-13 04:42:48 Conservatoire National des Arts et Métiers System Model checking Science Knowledge Grandes écoles Education Formal methods
452	focus requirements engineering A Reference Model for Requirements Add to Reading List Source URL: mcs.open.ac.uk Language: English - Date: 2000-05-09 05:09:24 Model checking Denotational semantics Software design Actor model Software Computing Software development Theoretical computer science
453	Translations of Cellular Automata for Efficient Simulation Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:39 Boolean algebra Cross-platform software Diagrams Binary decision diagram Model checking Cellular automaton Java Lookup table C Computing Computer programming Software engineering
454	Planning as Model Checking in Hybrid Domains Sergiy Bogomolov Daniele Magazzeni Andreas Podelski Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2014-07-02 05:16:10 Automated planning and scheduling Planning Domain Definition Language Theoretical computer science Models of computation Hybrid automaton Formal languages Finite-state machine Hybrid system Alphabet Automata theory Differential equations Mathematics
455	ALBERT-LUDWIGS-UNIVERSITÄT FREIBURG INSTITUT FÜR INFORMATIK Arbeitsgruppe Grundlagen der Künstlichen Intelligenz Prof. Dr. Bernhard Nebel Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-03-08 08:54:40 Model checking Theoretical computer science Heuristic function Mind Abstraction Heuristic Algorithm Cognition Innovation Problem solving Heuristics Operations research
456	Safe and Reliable Metro Platform Screen Doors Control/Command Systems a 3-year story Thierry Lecomte Add to Reading List Source URL: www.fm2008.abo.fi Language: English - Date: 2008-06-04 08:54:23 Safety Software engineering B-Method Software development process IEC 61508 Model checking Software Formal methods Software development Science
457	Goanna: Syntactic Software Model Checking Ansgar Fehnker, J¨ org Brauer, Ralf Huuck, and Sean Seefried National ICT Australia Ltd. (NICTA)? Locked Bag 6016 University of New South Wales Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2008-07-25 12:01:05 Compiler construction NuSMV Software testing Model checking Static program analysis Abstract interpretation Parsing Software verification Coverity Model checkers Software Computing
458	Innovations in Systems and Software Engineering manuscript No. (will be inserted by the editor) Model Checking Driven Static Analysis for the Real World Designing and Tuning Large Scale Bug Detection Ansgar Fehnker · Ra Add to Reading List Source URL: www.cse.unsw.edu.au Language: English - Date: 2013-01-01 18:09:41 Software bugs Data types Source code Procedural programming languages Pointer C Abstract interpretation Static program analysis Buffer overflow Software engineering Computing Computer programming
459	Position Statement Radu Grosu Department of Computer Science State University of New York at Stony Brook Stony Brook, NY, USA email: Add to Reading List Source URL: ti.tuwien.ac.at Language: English - Date: 2012-06-28 12:13:04 Systems theory Knowledge Signal processing Automata theory Models of computation Discrete mathematics Discrete system Model checking Signal Science Cybernetics Applied mathematics
460	15 Software Model Checking Using Languages of Nested Trees RAJEEV ALUR, University of Pennsylvania SWARAT CHAUDHURI, Rice University P. MADHUSUDAN, University of Illinois Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2013-01-28 13:27:14 Computer science Rajeev Alur Finite-state machine Modal μ-calculus Model checking Tree automaton Formal verification Tree Temporal logic Automata theory Theoretical computer science Mathematical logic

UPDATE